Towards an Event Modeling LanguageMaurice
نویسندگان
چکیده
Object-oriented programming owes part of its popularity to Booch's notation [2], Rumbaugh's OMT [7], and UML [8]. These notations allow object oriented designs to be expressed graphically and furthermore have enabled the development of case tools for object oriented languages. The lack of a suitable high level graphical notation has been identi ed as one of the factors discouraging the uptake of functional programming and in particular the language Erlang [1]. This paper represents a rst step in designing a graphical modeling language for functional programming that encourages sound programming practices. The initial target language is Erlang but it is hoped that the notation can be extended to other functional languages. SERC-0096 Issue 1 January, 1999
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDesigning a model for holding mega sport events with an emphasis on national brand development
The present study seeks a model for holding major sporting events with an emphasis on national brand development. The research method is a mixture of qualitative and quantitative. In the quantitative part, the statistical population, including professors and sports activists, and the statistical sample was done by stratified random sampling. Adequate number for modeling in pls software was 300 ...
متن کاملModeling and Inferential Thoughts for Consecutive Gap Times Observed with Death and Censoring
In the perspective of biomedical applications, consider a re- current event situation with a relatively low degree of recurrence. In this setting, the focus is placed on successive inter-event gap times which are observed in the presence of both a terminal event like death and inde- pendent censoring. The terminal event is potentially related to recurrent events while the censoring process is a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999